/**
 * <copyright>
 * </copyright>
 *
 * $Id$
 */
package edu.pku.sei.ocl.adapter.xmlecore;


/**
 * <!-- begin-user-doc -->
 * A representation of the model object '<em><b>EXML Document</b></em>'.
 * <!-- end-user-doc -->
 *
 * <p>
 * The following features are supported:
 * <ul>
 *   <li>{@link edu.pku.sei.ocl.adapter.xmlecore.EXMLDocument#getEncoding <em>Encoding</em>}</li>
 *   <li>{@link edu.pku.sei.ocl.adapter.xmlecore.EXMLDocument#getXmlVersion <em>Xml Version</em>}</li>
 *   <li>{@link edu.pku.sei.ocl.adapter.xmlecore.EXMLDocument#getDocumentElement <em>Document Element</em>}</li>
 * </ul>
 * </p>
 *
 * @see edu.pku.sei.ocl.adapter.xmlecore.XmlecorePackage#getEXMLDocument()
 * @model
 * @generated
 */
public interface EXMLDocument extends EXMLNode {
	/**
	 * Returns the value of the '<em><b>Encoding</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <p>
	 * If the meaning of the '<em>Encoding</em>' attribute isn't clear,
	 * there really should be more of a description here...
	 * </p>
	 * <!-- end-user-doc -->
	 * @return the value of the '<em>Encoding</em>' attribute.
	 * @see #setEncoding(String)
	 * @see edu.pku.sei.ocl.adapter.xmlecore.XmlecorePackage#getEXMLDocument_Encoding()
	 * @model
	 * @generated
	 */
	String getEncoding();

	/**
	 * Sets the value of the '{@link edu.pku.sei.ocl.adapter.xmlecore.EXMLDocument#getEncoding <em>Encoding</em>}' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @param value the new value of the '<em>Encoding</em>' attribute.
	 * @see #getEncoding()
	 * @generated
	 */
	void setEncoding(String value);

	/**
	 * Returns the value of the '<em><b>Xml Version</b></em>' attribute.
	 * <!-- begin-user-doc -->
	 * <p>
	 * If the meaning of the '<em>Xml Version</em>' attribute isn't clear,
	 * there really should be more of a description here...
	 * </p>
	 * <!-- end-user-doc -->
	 * @return the value of the '<em>Xml Version</em>' attribute.
	 * @see #setXmlVersion(String)
	 * @see edu.pku.sei.ocl.adapter.xmlecore.XmlecorePackage#getEXMLDocument_XmlVersion()
	 * @model
	 * @generated
	 */
	String getXmlVersion();

	/**
	 * Sets the value of the '{@link edu.pku.sei.ocl.adapter.xmlecore.EXMLDocument#getXmlVersion <em>Xml Version</em>}' attribute.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @param value the new value of the '<em>Xml Version</em>' attribute.
	 * @see #getXmlVersion()
	 * @generated
	 */
	void setXmlVersion(String value);

	/**
	 * Returns the value of the '<em><b>Document Element</b></em>' reference.
	 * <!-- begin-user-doc -->
	 * <p>
	 * If the meaning of the '<em>Document Element</em>' reference isn't clear,
	 * there really should be more of a description here...
	 * </p>
	 * <!-- end-user-doc -->
	 * @return the value of the '<em>Document Element</em>' reference.
	 * @see #setDocumentElement(EXMLElement)
	 * @see edu.pku.sei.ocl.adapter.xmlecore.XmlecorePackage#getEXMLDocument_DocumentElement()
	 * @model
	 * @generated
	 */
	EXMLElement getDocumentElement();

	/**
	 * Sets the value of the '{@link edu.pku.sei.ocl.adapter.xmlecore.EXMLDocument#getDocumentElement <em>Document Element</em>}' reference.
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * @param value the new value of the '<em>Document Element</em>' reference.
	 * @see #getDocumentElement()
	 * @generated
	 */
	void setDocumentElement(EXMLElement value);

} // EXMLDocument
